Handbook of Satisfiability (2021)
iospress.com·3h·
Discuss: Hacker News
🧭SMT Solvers
Flag this post
GraphMD – LLMs Powered Literate Programming Environment for Markdown Documents
github.com·2h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
Entropy in algorithm analysis
11011110.github.io·17h
📈Complexity Theory
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·5h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
🧩Theorem Proving
Flag this post
Inverse shortest paths in directed acyclic graphs
reddit.com·12h·
Discuss: r/compsci
🕸️Graph Theory
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·4h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Cells, Queries, and Chaos: The Game of Life in SQL!
dev.to·1h·
Discuss: DEV
🧫Cellular Automata
Flag this post
Jordan triple system
ncatlab.org·1d
🔄Category Theory
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·2h
🧮Programming Language Theory
Flag this post
my first AI Agent Researcher with Python + Langchain + Ollama :)
reddit.com·2h·
Discuss: r/SoftwareEngineering
🧩Theorem Proving
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Go’
devresourcehub.com·4h·
Discuss: DEV
⚖️Logic Programming
Flag this post
Weak-To-Strong Generalization
lesswrong.com·12h
🎲Probabilistic Programming
Flag this post
Multi-segment flexibility-based optimization scheduling for integrated energy systems coupled with electric and hydrogen fuel cell vehicles
sciencedirect.com·18h
🌍Distributed Systems
Flag this post
<p>**Abstract:** This paper introduces Automated Design Optimization via Meta-Analytical HyperScore (ADOMAH), a novel framework for accelerating and enhancing t...
freederia.com·1d
🏗️Software Architecture
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
A Coding Implementation of a Comprehensive Enterprise AI Benchmarking Framework to Evaluate...
marktechpost.com·1d
🧩Theorem Proving
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
🧭SMT Solvers
Flag this post
Automated Peptide-Mimetic Design via Constraint-Based Generative Networks
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·2h·
Discuss: r/compsci, r/programming
⚙Functional Programming
Flag this post